Portland State University - PDFSEARCH.IO - Document Search Engine

Portland State University
Results: 847

#	Item
241	Microsoft Word - Heike Mayer CV up to date_Sept 2013 Add to Reading List Source URL: www.geography.unibe.ch Language: English - Date: 2013-12-11 09:42:22 Virginia American Association of State Colleges and Universities Coalition of Urban and Metropolitan Universities Portland State University Economic geography Portland Oregon Mayer Virginia Tech College of Architecture and Urban Studies Virginia Polytechnic Institute and State University Association of Public and Land-Grant Universities Geography of the United States Montgomery County Virginia
242	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic
243	TABLE OF CONTENTS PICMET ’13 Message from the President and CEO of PICMET[removed] Executive Committee ........................................................ 4 Acknowledgments................................. Add to Reading List Source URL: www.picmet.org Language: English - Date: 2013-07-09 15:51:47 Portland State University Higher education Nile University Max von Zedtwitz American Association of State Colleges and Universities Association of Public and Land-Grant Universities Coalition of Urban and Metropolitan Universities
244	An Experimental Evaluation of Algorithms for Computation of Internal Don’t-Cares in Boolean Networks Alan Mishchenko Department of Electrical and Computer Engineering Portland State University September 28, 2001 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-10-20 03:32:06 Binary decision diagram Boolean algebra Diagrams Model checking Algorithm Circuit Boolean network Digital electronics Design Mathematics Theoretical computer science Applied mathematics
245	Microsoft Word - Dill pocket guide.doc Add to Reading List Source URL: www.cts.pdx.edu Language: English - Date: 2004-08-10 02:44:25 Urban studies and planning Sustainable transport Sustainability New Urbanism Portland State University Urban planning Portland Oregon Environment Urban design Transportation planning
246	Unate Decomposition of Boolean Functions Alan Mishchenko∗ Portland State University Dept. of Electrical and Computer Engineering Portland, OR 97207, USA [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 03:54:08 Logic synthesis Cube Circuit minimization Boolean function Function C++ Espresso heuristic logic minimizer Mathematics Electronic engineering Boolean algebra
247	Higher-Order Flexibilities in Multi-Valued Networks Alan Mishchenko Department of ECE Portland State University, Portland, OR [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-04-15 13:42:30 Binary trees Mathematics Tango tree Algebraic logic Canonical form Logic
248	Logic Synthesis of Reversible Wave Cascades Portland Quantum Logic Group Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 14:51:54 Algebraic logic Mathematical logic Models of computation Digital electronics Electronic design automation Toffoli gate Quantum gate Canonical form Logic synthesis Logic gates Electronic engineering Theoretical computer science
249	Board-Level Multiterminal Net Assignment Xiaoyu Song1, William N. N. Hung2, Alan Mishchenko1, Malgorzata Chrzanowska-Jeske1, Alan Coppola3 and Andrew Kennings4 1 Department of ECE, Portland State University, Portland, O Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-03-01 13:11:46 Applied mathematics Logic in computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array Conjunctive normal form Routing Theoretical computer science Electronic engineering Electronic design automation
250	Logic Synthesis for Regular Layout using Satisfiability Marek Perkowski and Alan Mishchenko Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA [mperkows, alanmi]@ece.pdx.e Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-01 01:40:28 Theoretical computer science Electronic design automation Diagrams Formal methods Lattice theory Binary decision diagram Boolean satisfiability problem Logic synthesis Lattice Abstract algebra Mathematics Boolean algebra

UPDATE